From: Stephane Glondu <steph@glondu.net>
Date: Fri, 19 Jun 2015 15:59:21 +0000 (+0200)
Subject: Merge tag 'upstream/4.02.2' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~146
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css//%22node%24level1.html/%22/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css/%22node%24level1.html/%22?a=commitdiff_plain;h=68614aec43535c3677c7b0e3c75fbfd3f50eb411;p=ocaml.git

Merge tag 'upstream/4.02.2' into experimental/master

Upstream version 4.02.2
---

68614aec43535c3677c7b0e3c75fbfd3f50eb411